Linear bilevel programming with upper level constraints depending on the lower level solution

Focus in the paper is on the definition of linear bilevel programming problems, the existence of optimal solutions and necessary as well as sufficient optimality conditions. In the papers [9] and [10] the authors claim to suggest a refined definition of linear bilevel programming problems and related optimality conditions. Mainly their attempt reduces to shifting upper level constraints involving both the upper and the lower level variables into the lower level. We investigate such a shift in more details and show that it is not allowed in general. We show that an optimal solution of the bilevel programm exists under the conditions in [10] if we add the assumption that the inducible region is not empty. The necessary optimality condition reduces to check optimality in one linear programming problem. Optimality of one feasible point for a certain number of linear programs implies optimality for the bilevel problem.